# SPDX-License-Identifier: GPL-2.0
OBJECT_FILES_NON_STANDARD_efi_thunk_$(BITS).o := y
KASAN_SANITIZE := n
GCOV_PROFILE := n
PGO_PROFILE := n

ifdef CONFIG_RTOS_HCFI
ifdef CONFIG_CC_IS_GCC
	KBUILD_CFLAGS  += -fplugin-arg-hcfi_plugin-tagonly
endif
ifdef CONFIG_CC_IS_CLANG
	KBUILD_CFLAGS  += -fhcfi-tagonly
endif
endif

obj-$(CONFIG_EFI) 		+= quirks.o efi.o efi_$(BITS).o efi_stub_$(BITS).o
obj-$(CONFIG_EFI_MIXED)		+= efi_thunk_$(BITS).o
